Философский энциклопедический словарь - импликация
Связанные словари
Импликация
импликация
(лат. спутанность) логическое отношение, состоящее в том, что одна вещь "имплицирует" другую, т.е. включает ее в себя. Объект познания имплицирует др. объект познания, если второй с необходимостью вытекает из первого; напр., отношение имплицирует число, число имплицирует пространство, понятие отца имплицирует понятие ребенка и т. д. Относительно импликации и импликатора см. Логистика.
Рейтинг статьи:
См. в других словарях
1.
(лат. implicatio сплетение, от implico тесно связываю), в символич. логике связка, обычно интерпретируемая как оборот «если..., то». И. наз. также образованные с помощью такой связки сложные высказывания. В импликативном высказывании различают антецедент высказывание, к-рому предпослано слово «если», и консеквент высказывание, следующее за словом «то». Обозначается И. чаще всего стрелками либо знаком >; последний обычно используют для обозначения одной из осн. связок классич. логики материальной И. Высказывание A >В с такой И. истинно во всех случаях, кроме одного: когда А истинно, а В ложно (содержание А и В при этом не имеет значения). В этом коренное отличие A > В от выражения «если А, то В», к-рое всегда предполагает нек-рую реальную связь между тем, о чём говорится в A и В. Иногда И. рассматривают как формальный аналог логического следования. В случае материальной И. при этом оказываются верными утверждения: «из ложного высказывания следует любое высказывание» и «истинное высказывание следует из любого высказывания», называемые парадоксами материальной И. ...Советский философский словарь
2.
(от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции "если ..., то ...", с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание) высказывание, идущее после слова "если", и консеквент (следствие) высказывание, идущее за словом "то". Импликативное высказывание представляет в языке логики условное высказывание обычного языка. Последнее играет особую роль как в повседневных, так и в научных рассуждениях, основной его функцией является обоснование одного путем ссылки на нечто другое. В современной логике имеется большое число И., различающихся своими формальными свойствами. Наиболее известны из них И. материальная, строгая И. и релевантная (уместная) И. Материальная И. обозначается знаком М. Это одна из основных связок логики классической. Определяется она через функции истинности: И. ложна только в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях. Условное высказывание "Если А, то В" предполагает некоторую реальную связь между...Словарь по логике
3.
(лат. implico — тесно связываю) — логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу “если... то”. В импликативном высказывании различают антецедент — высказывание, к-рому предпослано слово “если”, и консеквент — высказывание, следующее за словом “то”. В классической математической логике исходят из понятия материальной И., к-рая определяется посредством функции истинности: И. ложна лишь в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях. ...Философский энциклопедический словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1808 | |
2 | 1618 | |
3 | 1471 | |
4 | 1400 | |
5 | 1333 | |
6 | 1307 | |
7 | 1218 | |
8 | 1167 | |
9 | 1143 | |
10 | 1092 | |
11 | 999 | |
12 | 986 | |
13 | 981 | |
14 | 949 | |
15 | 940 | |
16 | 921 | |
17 | 891 | |
18 | 830 | |
19 | 816 | |
20 | 796 |